perm filename AMSY5.360[GF,SYS] blob
sn#784651 filedate 1985-02-03 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T Dα1⊂λC 5(α∃U_β∀@0λ↓T 0⊂↓T _↓T0_↓∀0_↓∀ _↓SA$p¬∪!4x↓@`Dx↓↓DX↓ 0(↓R`P0α∩@`0↓R`0H↓⊃(D⊂πDB!λαAiPP&Bi@ α↓ P_α@iP_α@iP_α@IP_↓A PX&C P0↓↓ @_β@i@⊂∧i@⊂∧I0_β@i0⊂β↓ 0X%αi H"Qλ0x ∧B⊂@αT↓∧x¬∪@@_↓S 00↓∪4`↓∩`$X↓∩@4P↓R@4P↓R@@@↓∩@@8↓R`@ α∩aD`∧S d("⊃α↓_ ∧ P@&BiP`&↓P(&@`` &@`p_&@`p_&@`p_&@`p_&@A⊂&@A⊂&`p⊂&@p_&@`_%@`@ %@@ 0%B) @%↓(T "CB⊃⊂λA`e∧∪a∀p↓A$p↓↓ $hα∪ Tpβ∪@Thβ∪DX↓R`$P↓R@@0↓∩@P ↓∩a$X∧S d("⊃B!( ∧ pX'β)@x&↓ 0_%@`P⊂)@J ⊂)I`H'α PH(@J_(J⊂%@@ ⊂%AI 0%AλT #Dα18λB U⊂∧∀!∃↓@`4x↓A $x↓∪@$p↓∪ 0@↓∪ 0@↓∪ 08↓S 00α∪ @ αS!Tp∧ $xβ@%0↓∃@$X↓α$X↓↓`4Pα@`DP¬Ra∀hαQ(D@λ∧b!λ↓a⊂⊂&↓↓⊂%A@`⊂&A`⊂'↓@_'↓@⊂'@`@⊂'@`0_'@`0⊂&A 0_&A0_&αiPP'α)`⊂αiP⊂α@i0 αA 0_βi _∧HT $Cb!⊂λA 0 ↓Sa∀p¬∀e⊂↓T@%⊂↓∀ 5λ↓T 5λ↓∀ %↓T%↓∪ dX¬∩a∀P↓A4("∩B↓_ ∧!_↓@J 8(B
0(*j@_*j@_*J@⊂)@j0⊂)@I0⊂α@I0⊂αi ↓i @%AI@ "Q 1 DB⊂(↓αTx↓↓@dp↓A tp↓ADp↓@`4p↓@@4p↓@ 4p↓ 4pαS ThβS!∧h∧S _αS0 β∪ 0β∩`08βR` Pα∩@ `↓Q(D` ¬"1λ¬↓* @)α
⊂_↓@j⊂⊂αj⊂α@J⊂α@Ip_αIp_'@ip⊂'@I`_'i`⊂&A↓_%B@⊂(%D BJ0_"Q Q@∞∧B⊂(↓β$x↓B`$pαB 4pαB 4xαA`Dxβ↓@Dxβ↓ TxβATxβ@` λ↓S`0λα@ λ↓S`0λα ⊂↓S`0⊂↓@ ⊂↓S` _α@`4x↓`P_↓S@0 ↓A4X↓ (↓ADXαCdPαC@DPα∧4("∪BQH ∧ p⊂¬J⊂⊂∧@J_∧@J_∧J_∧J βJ βJ α@j(αj(αIp8↓@Ip8↓ip_A⊂_'@@ @'@@08%@@⊂⊂αAI0(β↓) (∧i ¬HT 'DBa⊂λBeλ∧∪a4pα@thα`th↓↓ _↓S Pα∪ Pα∩` `↓R` `↓∩@0`↓∩@0X↓R@0X↓∩@0P↓R@@@↓R@P(αRaD`¬∪ t("∀α⊃ ∧ PH'β ``&A @('@`P '@``_'@``⊂'@`P_'@@@ 'B)`H'↓i`_'IP⊂&@I0_%@i _"Q
⊃_Eα⊂Hβ∀ u¬S`@⊂βS@0_∧∪ 0Hα∪ Pα∪ `↓S `↓R`0`↓∩`0`↓∩`@P↓∩`P8α∪`⊂β∪!Dp¬∀tX¬∩b$P ∀a∀("∀B10 ∧ `@'β `h&A @('@``_'@``_'@``⊂'@`P_'@@@ 'B)`H'↓i`8'@⊂(&@@0(&@@@(↓@I0_βα 0_βAi _∧A(T )C"⊃⊂λA@TxβSA∀h↓@`Dh↓↓ $`↓A $`α∪DhαS tpβTe⊂α∩` 0↓R` 0↓∩@@ ↓RA$X∧∪d("∃αA@ ∧ 08∧I1⊂%DI _αBJ0_)@J0⊂)j ⊂)J⊂_(@j⊂_(@j⊂_(@j⊂ (@j ⊂"Q
Q DB⊂⊂α∩``8↓∩``0↓∩@ ⊂↓A@$p↓↓@4p↓↓@4h↓A@$h↓↓`$h↓↓@4`↓↓`4`↓↓`$X↓A`$X↓A@4X↓A@4X↓A DXα`Pλ↓∩ad`β@ Thα@`4("∃B10 ∧ (%Aa⊂%Bp⊂%@0(α@j αA
⊂_α@j⊂ α@J⊂ αj _αj _αJ _αJ _↓@J _↓@J _↓J _@j 0)↓* )HT +Fβ1⊂λ@@TXβA@ (↓∩a(↓A$P↓`@ α`5↓A@_α∀0 α`5↓A@ ↓∀0 α`5↓@`P_↓T0_α@`%↓@@ λ↓@`%↓@ 0λ↓@@%↓@ ⊂↓@@%α@`0λ↓∀P_↓ 5α↓U↓ATx↓A Dx↓↓@$("⊗α18 ∧ @ βA P0α↓)P8↓↓I@⊂↓↓⊂ (AJ⊂((A
⊂_(@j⊂_(@J⊂⊂(↓
'AIPH↓@I0(↓α 0 α↓i _βA(T ,Dba8λ@`D`βα $`βα$X↓@0@↓∪`08↓S`08↓S` @↓∪` 8↓S@08↓S@00α∪@00↓S@0(α∪@0 αS@@⊂β∪Aλ↓∪``⊂↓∀@⊂↓∃@%(↓∩` 8↓R`0 α∩A4X∧Sd("⊗BA8 ∧" ⊂'CIpp'βK⊂_,jp_+j@ )A
(@j_'@iP &∧ 1%D ⊂"Q↓_ p RB4("↓B10 ∧!⊂⊂)@J0⊂)@J0⊂)@J0⊂)@I!_%∧j0⊂)@J0⊂)@J0⊂)@J0⊂%∧i!_"Q↓↓_∧Ap0βSA4hα@ λα∪0 ↓`4X↓A ↓R` 0↓↓ $P↓A@ (↓R@ 8↓↓@$P RB4P↓↓` 0↓∩@ 8↓↓@$P↓A@ (↓R` 0↓↓ $X↓A ↓S0 ↓`4hα@ λα∪A5βQ(@P EB xβ↓i`X&AP &a⊂_%A p(%@@⊂_α@`⊂⊂%` _↓@` _%@@_@`@⊂%@P(α@I ⊂β``⊂%@P(α@I ⊂α`⊂_αI _↓`0_↓i0⊂@`P_@I0(βA)@_∧@iP αA `X(↓hT -Dα0pπ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@0P↓R`0@↓S↓Dh¬⊃(E`λ∧appαα @`%A` %a _%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂"Qa Ca`8↓∀Eα∪`dx↓@$p↓@@4p↓↓$h↓A4h↓↓@$`↓A@4`↓α$X↓B4X↓α@$P↓B@4P↓β$P↓β$("↔b↓_πC@⊂εI _¬i0⊂¬I0_∧i@⊂∧I@_βiP⊂βIP_αi`⊂αI`_↓ip⊂↓Ip0(↓
(@J⊂⊂"Q∧0`πEB⊂(↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$P↓@@ ⊂↓S↓∧pα∪`$x↓⊃(B⊂εβbaλα@Ip⊂'↓ @@%` ⊂↓ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@HT ⊂εCP8¬↓ $p↓∪ $P
∩C$h↓∪@$x↓⊃(Bλ
π pP @K`⊂/@I!P%εKp⊂/KP⊂"Q∧AP∞Aa (↓β$p↓β@$h↓∧$P
∩C$h↓∧$p↓β@$x↓β$("εB10πC@`h'βi@(&i0_%i ⊂%I ⊂%I _%@i@_&↓)`x(β(T
Db`xπ↓TPπU@U@↓V 5P↓V`%X↓⊗`%X↓⊗@5H↓V50αRAtPεQ(C⊂λ∧b⊂x∧AipX&Ai@ %@i0⊂%i ⊂%∧ !%I ⊂%i0⊂%@i@ &C)pX"QαA_¬b!↓VU0αUU⊂αTTpαSTPαR@T`αS@UαT@U αU@U@αV@48↓RB4P Q(A( EBq⊂i (&↓)`((↓* (*↓*`(,↓+(+↓*@()↓*('↓)@(%↓) _#@i!_%∧hT λDb`hε@α4P Q`4P RB48↓RB4P Q(C@ ∧b⊃λA`⊂%aP⊂%@A@_%@a0⊂&A _&a⊂⊂&C)P`'@`_'`P⊂'@@@_'@`0⊂(@ _(`⊂⊂(A*⊂ )j ⊂"Qπ⊂hλ∧"⊂εRAU(↓∃ %(↓∃ %(↓∃ $PεRAU(↓∃ %(↓∃ %(↓∃ $PεRAT("∞B↓_βα↓%∧⊂,K⊂,K⊂"Q
`XεFα ↓∩@$P↓R`$X↓S$`↓∪4h↓∪ 4p↓∪@$p↓S`$x↓∪`5↓∀5λ↓∀ %λ↓T@%⊂↓T`%_↓⊃(@λ↓A` 8i _%hT αCBpεA@$xα∪@dh↓@@4`↓A4X↓A@4P↓B4P↓α@$P↓B4X↓A@4`↓A4h↓@@4pβ∪`E↓⊃(F0¬CC↓⊂∧j_'@I`_'i`_'i`_'i`_'I@_%i@_'I`_'i`_'i`_'i`_'@J_)hT 3Baa@ 4`↓S@$p↓S@4p↓S@4p↓S@4p↓S`%↓T@5↓S`$p↓S@4p↓S@4p↓S@4p↓S@$`↓R@4("~@ 0∧@⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Qε⊃P∞BA _βαd`∧A↓∀X↓A@⊂α↓4P↓A``8↓R@ Hαα $P↓α@0H↓∩@ Hαα $P↓A``8↓R`0 α@@ ↓S↓⊂ ∧S `@β⊃(G_¬CBaλβA
('AIp_'@ip⊂'@Ip⊂'i`_'i`_'i`_'i`⊂'I`⊂&@i 0%↓I (%@hT ↓βb@pε@ X↓∩@0H↓R`08↓S0(↓S 0_↓S@0λ↓S`U↓S`Tp↓@ 4h↓@`4`↓A 4X↓A`4P↓B 4P↓α`$("a0p∧B`P⊂'@I ⊂↓@ 0⊂%` λ↓i0H'i X%` λ↓ip⊂'@HT α∧baλπB5λαT UλαT@48↓∩B4P Q`%⊂↓T UλαT U⊂↓Q(@8 EB h∧i!_)@J0⊂)@J0⊂)@J0⊂%∧i!_)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@HT ∧Dba⊂πA@tp¬S @(α∪0H↓R`0X↓R` h↓∩@0h↓R@ x↓∩B4P R@ x↓∩@ x↓∩@0h↓R` h↓∩`0X↓S0H↓S @(α∪A5βQ(@X EB xβ↓i`X&AP &a⊂_%@a⊂(%@A⊂_@I _∧` _%A_αI ⊂β@`P⊂%@`_βI ⊂α@`p⊂%@@_∧I _↓a_%@@⊂_∧@I0(∧@i@_∧@iP αA `X(↓hT ε∧ba⊂πA@tp¬S @(α∪0H↓R`0X↓R` h↓∩@0h↓R@ 0↓A@$P↓↓ P(↓∩@ (αA $P↓↓ P(↓∩@ 0↓A@$P↓C 4X↓β $X↓B`4`↓B 4hα↓ Dp¬Tt("β#!h∧!⊂@(βIp(β↓)`_εiP_πi@_λi0_ i0⊂
I _
i ⊂I ⊂I ⊂I ⊂I ⊂I _
i0⊂
I0_ i@_λiP_πi`_εip(β↓*p)BλT παa`P¬@`T`βR`0_↓R@0(↓R@ 8↓∩@ 8↓∩@ 8↓∩@0(↓R`0_↓SthαQ(@x¬CA X↓A)@8%B) X%αi X%αi X%B)@8&A(T λ∧b`pε@ x↓∩@0h↓R`@Hα∪P(αSA5βQ`%βSA4`αA TXαα DP↓C 4P↓β`$("∧B10D@`h'βiP &i0_%@I _%I ⊂%I ⊂%i0⊂%@i@_&A `x(β(p_%∧i!_"Qα1_¬b εRAu0α⊗5H↓V@%P↓V`%X↓⊗`%X↓⊗@5P↓⊗ 5@↓U@DPπRAT8↓RB4P Q(A0 EBq⊂λ@K0⊂-k ⊂,↓
p *↓*@%αi X(α
@(+A -K _-@K0⊂#@i!_%∧hT Dba8 $P↓∩@4X↓∩`D`α∪@Tx∧∀A5⊂¬Sa∧pαSDXα∩`$P↓R@$P↓⊃`4P RB4("εα10βα _εI00¬I0_↓a⊂%`P_α@i ⊂∧` _%A 0%A@_"Qβ⊃_β!@⊂↓C$Xβα@$X↓@@0@↓∩@0(↓A 4P↓α0⊂↓R@ Pβ∩@ `↓S0`↓∩``P↓∩`0⊂↓B$P↓A 0(↓R@ @↓@@4P↓α@dP↓β4("πβ!hλCb⊂βK α↓
`(↓A*@(↓A* (↓A*(↓A)`(↓A)@(↓A) (↓A) α↓ 0(↓A)P(↓A)p(↓A*⊂(↓A*0(↓A*P(↓A*p(↓A+⊂_α@hT ∞FCQλπ@ 0↓∩@@ α∩`P_αS P_αS`P_αT P_αT`P_αU P_αU`P_αV@ α∃@P_αUP_αT@P_αTP_αS@P_αSP_αR@P_αR@0(↓Q(Ap EAppλ@K0⊂-k⊂_+A
P((Ai `%β
⊂8*A*p ,@k _-@K0⊂"Qβq_βa`↓∩@$P↓R`4`α∪ TxβT!Eλε∪`thαSDX↓R@4P↓∩@$(" #!h∧" ⊂αKP80↓p .AK@ @K0_↓@K _,@k_+@jP *↓
0_)j⊂_(ip_&A @ %@i _%HT ∪εCQ0λ@$P↓R`4`α∪ Dx↓T5λ↓T@5_↓UE(α∃`5@↓V 5P↓V`0_↓↔@λ↓↔ exα_EhβW ↓⊃(B8 EA@`↓a@⊂%AA ⊂%@` _∧I _α@`P_%A_↓i ⊂¬↓I ⊂εhp_%∧i!_"Q¬↓P∞CAPP↓∃%_↓∀B%
∪`4`α∩@D`α∪`5
∀B%_↓∃% ↓⊃(BH
π!`hπK⊂,@I!⊂%¬@_/↓ /↓@_%¬ !⊂,@K⊂,HT ∃∧α10λA`%λ↓∀Eα∪`dxβ∪@0⊂↓S@ ↓∪ 0 ↓S@ α∩@0λ↓↓ λ↓S@ ↓∪@ ↓∪@ ↓∪@ ↓∪@ ↓∪@ ↓∪@ ↓∪@ ↓∪@ ↓∪@ ↓∪@ ↓∪@ ↓⊃(BXλ∧baλα@@⊂'@@⊂'@@⊂'@@⊂'@@⊂'@@⊂'@@⊂'@@⊂'@@⊂'@@⊂'@@⊂'@@⊂%`⊂⊂α@⊂_&↓@ &@`@_'@@⊂'` _'AIp0(↓
(@J⊂⊂"Q¬AP∞CAP@↓↓@%λ↓α%λ↓α%π∪b∧p↓C4`αβ@DPα∧@D`αβ@Dp↓C4xλ∀↓eλ↓α%λ↓α%⊂↓↓@$("#!h∧ ⊂αI 8%↓ 0 %AI0⊂A 0⊂↓@j⊂_)j0_*jP +↓_,@k _-@k@_.A` 0l⊂_1HT ↔εCQ0λF&λ↓X5pα↔ E`↓V`5P↓V 5@↓U@E(α∃5_↓T@5λ↓R` _↓R` λα∩`dXα∩@DPβR@ ↓⊃(Bx ¬! P↓A p_&α@ %@`0 A _α@`⊂_%@p(%A_%@p(%`P_@i0_↓A⊂ &↓`@(&A p_"Qε8∧C!`_↓S Dhα∪T`α∪DXαR`DXα∩`DPα∩@DP↓R@4("b↓_λC`8%αj8*↓
`_+@Jp_,I!%∧⊂,Jp_+@J`_*↓ h%αhT ~εβ1λλB`% α∃E_β∀@0⊂↓T@ ↓∀ 0 ↓T00↓S`0@↓∪` H↓S@0P↓S 0`↓S p↓∪0p↓R`1↓R`!⊂↓∩C∧P⊃(C(εb⊂`ε !@%@B ⊂%@b_&a`_&@A`⊂&@a@_'a _'@A⊂_'@a⊂(``_(@`@_)@@⊂)` _)AJ@ *↓
P⊂"Qε`x
¬B⊂h↓∃@50↓∃ 5(↓∃5_↓T`%⊂↓T 5λ↓∀5↓∪`4p↓S@$h↓S4`↓∩`4X↓∩@4P↓⊃(C8↓AA⊂XI ⊂%I ⊂%i _%I ⊂%I ⊂"Qπ0hπDb H↓∪@t`↓@`4`↓↓4X↓↓TX↓↓ λ↓∩@0 ↓ 4P↓@`0λ↓R@0_↓@4P↓@@0⊂↓R@0⊂↓`4P↓@@ _↓R@0λ↓@`4P↓@ ↓R` λ↓↓$XαA$Xα↓4`↓@`4`βS$("∂αA0λD 0 αA @λ↓@@ _@i0⊂α↓@_%@@@ αi0_α`P_&`0_α@iP_↓``_'@ _βi`⊂↓αI`⊂↓` _%@@⊂λ↓@` _%@`@_↓j _↓j _↓i0⊂α@@0_%`@_↓@i@⊂↓@@P0&A↓_"QπQ_∧"⊂_βS ↓R` 8↓R@ H↓@`$P↓α 0⊂↓R@ Xα∩` X↓S @↓@ $hα@`0_↓∃ 0_↓∃ 50↓U`4Pαα@4`αα4p↓A`4xα`EλβQ(Cp EB⊃λ∧i!_)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂)@J0⊂"Qπq_∧"⊂H↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`%_↓∀`$P RB4("⊂↓aλλD ⊂β@I ⊂β@I _βi αA 0 αA @ α↓ @(↓A 08↓↓ 0⊂↓` ⊂%`0_@I _↓AI _α↓) _αA 0_αA 0_β↓ @_βi@_β@I ∧HT .Dα0pπ `↓∩@ `↓∩@ `↓∩@ (↓↓ $P↓↓ (↓∩@ (↓↓ $P↓A⊂↓∩@ ⊂∧@$P↓↓ (↓∩@ (↓↓ $P↓↓ (↓∩@0P↓R`0@↓S↓Dh¬⊃(Fπ∧"⊃λI ⊂%I ⊂%I ⊂%I ⊂%βI p%I ⊂%I ⊂%I ⊂%I ⊂"Q⊂pλD"⊂`↓∃@%0↓∃@%0↓∃@%0↓∃@$Pπ∩Ae0↓∃@%0↓∃@%0↓∃@%0↓∃@$("_Ap∧@⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%α @"Q0@∧Fα 0↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∩A∧P∧⊃(F ∧βC↓⊂α @%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%HT 2B↓⊃@ ↓∧P∧∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀%↓∀$("~pXD@P⊂'@I`_'IP_&@I@_&I0_%@I _%I ⊂%i0⊂%@i@⊂&iP⊂&@i`⊂'ip⊂'@HT 4Aa⊃8 $P↓∩@4X↓∩`4`↓∪4h↓∪ 4p↓∪@4x↓∪`$p↓S@$h↓S $`↓S$X↓R`$P↓R@$P↓⊃(FX∧C#↓⊂@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂%@P⊂"Q
@`πFα (↓∪`$pα∪↓∧P↓@@ ⊂↓S`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$x↓∪`$P↓@@ ⊂↓S↓∧pα∪`$x↓⊃(Fhλ∧c↓⊂β@J⊂⊂(↓
'AIp0'` _'@@⊂&@`@_&↓@ %`⊂⊂α@⊂_'@@⊂'@@⊂'@@⊂%`⊂⊂α@⊂_&↓@ &@`@_'@@⊂'` _'AIp0(↓
(@J⊂⊂"Q
p0∧∧↓`↓S$pS@$p↓∪@$h↓S4`↓∩`$P↓R@$P↓∩@$XS$h↓Q(GGβ@L⊂/@Kp⊂/KP⊂.@K@⊂.K0⊂-K ⊂%@a0⊂%↓↓0⊂&a⊂⊂&@`p⊂&@`p⊂'`P⊂'`P⊂'@`0⊂(`⊂⊂(`⊂⊂(A
⊂ )HT 8Eαaλ↓ ∧∩A ∧∪ 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓S 0@↓RBDP
⊃(G⊂
Fα⊃λ¬)1_%Di@_εI@_εIP_¬IP_¬I`_∧I`_∧Ip_βJ_αJ_αJ⊂_↓J⊂_↓J ()↓*0_)@hT :∧α0pπ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩@ `↓∩B∧Pλ⊃(G(λ∧a`p∧ !%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂%A@⊂"Q∞a_¬b RB4P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P RB48↓RB4P Q(G8 EBq⊂∧i!_-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂-@K0⊂%∧i!_#@i!_%∧hT <α!A0λ@@TX↓`$P↓@`4P↓@`4P↓@`4P↓R@D`α∩`tP↓@`4P↓@`4P↓@`4P↓@`4P↓@`4XβS Dxα∀4P↓@`4P↓@`4P↓@`4X↓`$`αQ(GH¬C"aλαi`_'i`_'i`_%αi X%αi`_'i`_'i`_'i`_'i`_'i`_'i`_'hT =αaQ0λA4p↓S@4p↓RA4P¬RA4p↓S@4p↓S@4p↓S@4p↓S@4P¬RA4P¬S@4p↓S@4p↓S@4("≡aq⊂∧ @X&β)0H@I P@I P@I P@I P@I P@I P@I0H@I@@@I`0@J ⊂@J ⊂@J ⊂@J ⊂@J ⊂@J ⊂@J ⊂@J ⊂@J ⊂@J ⊂@J ⊂@HT >¬αq λA`e∧∪a$x¬∪ADpε∪a$x¬∪α∧X ∩BDP
∩BDP
∩BDXβ@ λβR`pλ↓ thα@ ⊂α∀@E⊂α∀@D("∨"A8 D!⊂⊂)↓
(AJ_↓ip_αi`_βiP_∧i0 ¬↓ ε↓ ε↓ 0 ¬↓ P_∧i`_βip_αj_↓j⊂0)↓
)@HT ?¬αqλλ@`P αRb$X↓@``_↓R@00↓↓@4P↓↓` 8↓∩@!↓∩@!↓∩@0p↓R`0`↓S0P↓S 0@↓S@00↓S@@ α∀0⊂↓T e⊂α∀@E_↓⊃(Gx
¬bAλ∧@J0⊂)↓
⊂0(α pP'β Pp&∧ 1⊂%¬ ! %¬ ! %¬ 1⊂%A`⊂⊂Ai@(↓@ ()↓
)↓λ←@βcX∀TPw78↓∨3@↓∨3@λ↓h␈␈␈}@↓⊂{⊂#πG∞ ∧?0!¬h∩>@≡↑d_↓dPC↑⎇HA β≠KX∂ {⊃"0ε∃*P'?0#∧@X=∀\≡d8↓sh∀λQ⎇I↓0β@∨⊂{∩" ¬qc@G␈0%∧ Pv¬`↓≤≡dX@αβ@r⊂R⎇IAH∧π∞ .p{∪$
*U0e←0'ε ↓≤9↓f≡dx@↓lxR@_w⎇J↓_β↓λHC@{∀#P ≤8p↓∞∨0)ε`↓λ*U α.≡e_ @↓@⊂l ␈⎇JA(β/.λS@{∃#πI1@↓-∨0+εx∩cαo≡e8∞@α'Pp@0β⎇K↓H∧π∞ g`{⊗#πY←↓W?0-ε ↓≤9βF≡`
@α∃(*@8"⎇@aX∧*U(u{αβ0λU*P↓o←0¬ε`↓λ*U βw↑eX↓q`9@#⎇KA@βcG⊂↓λ0{↔CπG∞ α→∨0/Fx∞≤@∧B≡b_ ↓<8∞H"⎇D!⊂αxq`↓↔p{λ∧
qc@α6␈0⊂H@↓(cG∧s↑b ⊃α\8∞Hr⎇C!X∧*U(↓ @{εc0λU*PαE␈0→εx∞≤@¬∃↑a
@α∃(*@P@⎇BQX∧*U(↓+⊂{∧#0λU*Pα\?0≤¬`qc@¬>↑cH
↓N_GX≡⎇G!@βcG⊂↓6@{≠B¬αo←0B`8*U ¬m↑`( ↓<8∞Xa⎇La⊂αxq`↓?P{→b ¬qc@βε?05α`8*U ε≠≡cλ⊃α\8∞`R⎇N1⊂αxq`↓NP{C0λU*Pβ#␈0↓D@XcGεW≡`
@α∃(*@hA⎇@qX∧*U(↓Z0{α#0λU*Pβ:?0¬F`↓λ*U πε↑``
@α∃(*@p;⎇AR⊂¬8q`↓l`{βB ¬qc@βd␈0πD@XcGπT↑a
@α∃(*@x7⎇B!X∧*U(↓z{∧c0λU*Pβz∨0ε`↓λ*U λ↑a8
@α∃(*@↓→⎇C↓X∧*U(αε {ε#0λU*P∧⊃←0∞λ@↓(cGλ6≡ah⊃α\8∞↓λ∪⎇CaX∧*U(α↔0{πc0λU*P∧3←0∩H@↓(cGλq≡b0⊃α\8∞↓λ␈⎇DqX∧*U(α#P{
∧
qc@∧M∨0∀H@↓(cG #↑bP↓`↓⊂Y⎇E10β@α0p{∧
qc@∧m∨0⊗H@↓(cG i≡bp⊃α\8∞↓_o⎇EqX∧*U(αAP{↓0βCG⊂¬
←0→Fx∞≤@
≡≡c ∂α8p≤@↓ Q⎇FQp∧qcHαN0{
@¬%∨0≠@
W↑cX ↓<8∞↓(<⎇GAH∧π∞ α]`{∂#⊂λ∞≤@¬I∨0∨ε`↓λ*U %↑cx
@α∃(*@↓0`⎇H↓0β@αn`{↔#πG∞ ¬g␈00¬@pc↑fλ↓`↓8\⎇L!λαU*Xα} {_b⊂¬*U0εβ←02∧ PU*`∃↑f(λ@↓*PU@↓@G⎇Mxα1cHβ@{~!p∧cG⊂ε∨␈05D@XcGM↑f` ↓<8∞↓HP⎇MQ0β@β≡⊂{≠a0βU*PεG←08ε`↓λG∞
→↑gλ
αλp≤@↓PY⎇N!h∧N≤8β/P{≥βπG∞ εg?0:Fx∞≤@
↑↑g0
@α∃(*@↓X\⎇NqX∧*U(β>P{≡α⊂¬*U0πβ?0<D PU*`∞~↑gPλ@↓*PU@↓`O⎇O10β@βM {∨β0λU*Pπ&?0>F`↓λ*U ∞\≡gp
@α∃(*@↓h[⎇OqX∧*U(β`⊂|@↓p≥`{⎇xow{⎇x